See remark 11) to the table in 2.5.3.2.4:
"See 2.5.3.2.5.1."